Actor model theory - PDFSEARCH.IO - Document Search Engine

Actor model theory
Results: 106

#	Item
31	Benefits GuardIEn automates ALL of your development, change management and build management processes: u Add to Reading List Source URL: www.iet.co.uk Language: English - Date: 2008-01-28 09:58:51 Cross-platform software Procedural programming languages Database management systems Scripting languages Database Database theory C Actor model JavaScript Computing Software engineering Computer programming
32	A Timed Logic for Modeling and Reasoning about Security Protocols★ Xinfeng Lei1 Rui Xue1 and Ting Yu2 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-12-21 21:08:46 Philosophical logic Model theory Burrows–Abadi–Needham logic Modal logic Protocol composition logic Communications protocol Public-key cryptography First-order logic Actor model Logic Cryptography Mathematical logic
33	List of Publications and Talks ´ Kova ´ cs Laura Ildiko 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:05:13 Mathematics Formal methods Anglo-Chinese School Automated reasoning Algorithmic Number Theory Symposium Model checking Actor model Automated theorem proving Theoretical computer science Applied mathematics
34	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
35	Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 11:40:02 Computing Computability theory Parallel Random Access Machine Formal methods Central processing unit Distributed computing NC Random access machine Actor model Theoretical computer science Applied mathematics Models of computation
36	DattaKuestersMitchellRamanathan-TCC-2005.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:20:50 Computing Cryptographic protocols Models of computation Universal composability Turing machine Security parameter Computational complexity theory Actor model Ciphertext indistinguishability Theoretical computer science Applied mathematics Cryptography
37	Dr. sc. ETH Mathias Payer C ONTACT Revision: MarchAffiliation: Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2015-04-20 14:04:32 ETH Zurich Language-based system Orc ALGOL 68 Actor model Pascal Computing Programming language theory Software engineering
38	Baronchelli, A., Felici, M., Loreto, V., Caglioti, E. & Steels, LSharp transition towards shared vocabularies in multi-agent systems. Journal of Statistical Mechanics: Theory and Experiment new, 2006(6), doi: 1 Add to Reading List Source URL: openaccess.city.ac.uk Language: English - Date: 2013-09-16 13:29:41 Agent-based model Complex systems theory Scientific modeling Power law Computing Abstraction Actor model Intelligent agent Software agent Artificial intelligence Systems theory Science
39	A report on the Human Computation Workshop (HCompPanagiotis G. Ipeirotis Raman Chandrasekar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-12-02 19:32:40 Knowledge ESP game Actor model Academia Machine learning Computer science Game theory Labeling theory Data mining Formal sciences Science Human-based computation
40	Agent-based Programming The Perl Review 3.0 croak “Category $node not found” my @ftree = map { Add to Reading List Source URL: www.theperlreview.com Language: English - Date: 2014-08-13 01:29:05 Multi-agent systems Agent-based model Complex systems theory Scientific modeling Macroeconomic model Perl Agent Actor model Social simulation Computing Software engineering Computer programming

UPDATE